turing machine formalization中文是什么意思

• 图灵晃式化
• 图灵机形式化

• "machine"中文翻译    n. 1.机(器)，机械；机关，机构。 2.印刷机器；缝 ...
• "turing machine" 中文翻译 :    杜林机 [图灵机; 确定型图灵机; 图灵计算机; 图录机
• "formalization" 中文翻译 :    成为正式; 定型化; 集权和分权；正规化; 礼仪化; 缩甲醛化; 形式/规范化; 形式化; 形式体系化; 仪礼化; 正式化
• "alleged turing machine" 中文翻译 :    判定图灵机
• "basic turing machine" 中文翻译 :    基本图灵机
• "bounded reversal turing machine" 中文翻译 :    有界反转图灵机
• "bounded-reversal turing machine" 中文翻译 :    有界反向图灵机
• "encoded turing machine" 中文翻译 :    编码图灵机
• "halting problem of turing machine" 中文翻译 :    图灵机停机问题
• "multidimension turing machine" 中文翻译 :    多维图灵机
• "multihead turing machine" 中文翻译 :    多读写头杜林机器
• "multitape turing machine model" 中文翻译 :    多带图灵机模型
• "multitrack-turing machine" 中文翻译 :    多道图灵机
• "nondeterministic turing machine" 中文翻译 :    非确定性图灵机
• "on-line turing machine" 中文翻译 :    联机图灵机; 联线图灵机
• "one-tape turing machine" 中文翻译 :    单带图灵机
• "oracle turing machine" 中文翻译 :    启示杜林机
• "paper-tape turing machine" 中文翻译 :    纸带杜林机器
• "post-turing machine" 中文翻译 :    post-图灵机; 波斯特-图灵机
• "quintuple turing machine" 中文翻译 :    五元组图灵机
• "restricted turing machine" 中文翻译 :    受限图灵机
• "single-step turing machine" 中文翻译 :    单步图灵机
• "state of turing machine" 中文翻译 :    图灵机状态
• "tape bounded turing machine" 中文翻译 :    受带限制的图灵机
• "tape-bounded turing machine" 中文翻译 :    带界限图灵机